Ordinal Systems

نویسنده

  • Anton Setzer
چکیده

Ordinal systems are structures for describing ordinal notation systems, which extend the more predicative approaches to ordinal notation systems, like the Can-tor normal form, the Veblen function and the Sch utte Klammer symbols, up to the Bachmann-Howard ordinal.-ordinal systems, which are natural extensions of this approach, reach without the use of cardinals the strength of the theories for trans-nitely iterated inductive deenitions ID in an essentially predicative way. We explore the relationship with the traditional approach to ordinal notation systems via cardinals and determine, using \extended Sch utte Klammer symbols", the exact strength of-ordinal systems.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

New phase II control chart for monitoring ordinal contingency table based processes

In some statistical process monitoring applications, quality of a process or product is described by more than one ordinal factors called ordinal multivariate process. To show the relationship between these factors, an ordinal contingency table is used and modeled with ordinal log-linear model. In this paper, a new control charts based on ordinal-normal statistic is developed to monitor the ord...

متن کامل

On orders induced by implications

In this paper, the orders induced by the residual implications obtained from uninorms are investigated. A necessary and sufficient condition is presented so that the ordinal sum of fuzzy implications satisfies the law of importation with a t-norm $T$. Some relationships between the orders induced by an ordinal sum implication and its summands are determined. The algebraic structures obtained fr...

متن کامل

FUZZY NEXUS OVER AN ORDINAL

‎‎In this paper‎, ‎we define fuzzy subnexuses over a nexus $N$‎. ‎Define and study the notions of the prime fuzzy subnexuses and the fractions‎‎induced by them‎. ‎Finally‎, ‎we show that if S is a meet‎‎closed subset of the set Fsub(N), ‎of fuzzy subnexuses of a nexus N‎, ‎and‎‎h= ⋀S ϵ S, ‎then the fractions S^-1 N and h^-1 N are isomorphic as meet-semilattices‎.

متن کامل

Ordinal Systems, Part 2: One Inaccessible

We develop an alternative approach to well-ordering proofs beyond the Bachmann-Howard ordinal using transsnite sequences of ordinal notations and use it in order to carry out well-ordering proofs for-ordinal systems. We extend the approach of ordinal systems as an alternative way of presenting ordinal notation systems started in Set98b] and develop ordinal systems, which have in the limit exact...

متن کامل

Ordinal Pattern Distributions in Dynamical Systems

In this work we discuss the structure of ordinal pattern distributions obtained from orbits of dynamical systems. In particular, we consider the extreme cases of systems with a singular pattern distribution and of realizing each ordinal pattern of any order, respectively. Finally, we review results relating the Kolmogorov-Sinai entropy and the topological entropy of one-dimensional dynamical sy...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998